#include "linux/tty.h"
extern x64_check_cpu();

void kernel_main(void)
{
    console_init();
    // console_write("Hello", 5);
    console_write("Hello, world!Hello, world!Hello, world!Hello, world!Hello, world!Hello, world!Hello, world!Hello, world!", 13*8);
    // x64_check_cpu();
    while (1)
    {
    }
}